widget: Fix margin-start and margin-end properties
authorBastien Nocera <hadess@hadess.net>
Wed, 5 Feb 2014 09:34:44 +0000 (10:34 +0100)
committerBastien Nocera <hadess@hadess.net>
Wed, 5 Feb 2014 12:28:24 +0000 (13:28 +0100)
commit4439453b75d84909b88fa48f7f046b4d929c9cdf
tree63a342ca68ea737aadb863fb6089d9e1b0104a22
parent49597950f83e36ea2a47aa84b672ebfb69c2a2d0
widget: Fix margin-start and margin-end properties

The margin-start and margin-end properties were incorrectly
defined, so margins weren't respected for RTL languages.

https://bugzilla.gnome.org/show_bug.cgi?id=723627
gtk/gtkwidget.c